Strategy military science

Parallel Temporal Resolution

Temporal Resolution / Theorem Proving / Spatial and Temporal Reasoning / Temporal Logic / Strategy military science